<html>
<body>
Adds remaining patterns in <code>match</code> expression if the expression is not exhaustive,
i.e. not all possible patterns are covered.
</body>
</html>
